1. A 25-Year perspective on logic programming
Author: / Agostino Dovier, Enrico Pontelli (Eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Italian Association for Logic Programming,Logic programming
Classification :
QA76
.
63
.
T84
2010
2. A beginner's guide to Programming logic and design
Author: Farrell, Joyce.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Logic programming,، Logic design
Classification :
QA
76
.
63
.
F37
3. A fuzzy PROLOG database system
Author: Li, Deyi
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
Classification :
QA
76
.
9
.
D3
.
L52
1990
4. A science of operations
Author: / by Peter Mark Priestley
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA76
.
6
.
P75
2010
5. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
6. A tight, practical integration of relations and functions
Author: Boley, Harold
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
7. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Author: Agostino Dovier, Enrico Pontelli )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
Classification :
QA
76
.
63
.
A14
2010
8. ALPUK 92
Author: Krysia Broda )ed.(.
Library: Vali Asr University Central Library (Kerman)
Subject: Logic programming -- Congresses
Classification :
QA
76
.
63
.
A38
1993
9. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
10. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
11. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
12. Advances in computational and stochastic optimization, logic programming, and heuristic search :
Author: edited by David L. Woodruff.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Mathematical optimization.,Operations research.
13. Advances in inductive logic programming
Author: edited by L. De Raedt
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming
Classification :
QA
76
.
63
.
A38
1996
14. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
Author: \ [edited by] Thomas Eiter...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامهنویسی منطقی.,a03,a04,a03,a04
Classification :
TJ
211
.
A3
2015
E-Book
,
15. Algebraic and logic programming :
Author: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic-- Congresses,Logic programming-- Congresses
Classification :
QA76
.
6
.
A45843
1994
16. Algebraic and logic programming :
Author: J. Grabowski, P. Lescanne, W. Wechler (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
Classification :
QA76
.
6
J473
1989
17. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
Author: J. Grabowski, P. Lescanne, W. Wechler )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
343
18. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings
Author: H. Kirchner, W. Wechler, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
463
19. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings
Author: H. Kirchner, G. Levi, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
L28
Vol
.
632
20. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings
Author: J. Grabowski, P. Lescanne, W. Wechler )eds.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Algebraic logic
Classification :
QA
76
.
6
.
A4583
1988
